xen/arm: do not call __cpu_disable on machine_halt

__cpu_disable shouldn't be called on machine_halt, in fact it cannot
succeed: cpu_disable_scheduler won't be able to migrate away vcpus to
others pcpus.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/arch/arm/shutdown.c b/xen/arch/arm/shutdown.c
index c1b60afb440957cc972c1cb2d3eb00e96d68bad7..61b528062aef06186841cc5b9dd1c8f586720713 100644 (file)
--- a/xen/arch/arm/shutdown.c
+++ b/xen/arch/arm/shutdown.c
@@ -25,7 +25,6 @@ static void raw_machine_reset(void)
 
 static void halt_this_cpu(void *arg)
 {
-    __cpu_disable();
     stop_cpu();
 }